Merge pull request #980 from dp-arm/dp/make-fix
authordavidcunado-arm <[email protected]>
Thu, 15 Jun 2017 22:57:04 +0000 (23:57 +0100)
committerGitHub <[email protected]>
Thu, 15 Jun 2017 22:57:04 +0000 (23:57 +0100)
tools: Use exported quiet flag from top-level Makefile


Trivial merge